include protocol IDONTEXIST;

// error: nonexistent protocol ^^^

protocol badProtocolInclude {
child: Msg();
};
